1. VDM '90 : VDM and Z : formal methods in software development : Proceedings
Author: D. Bjorner, C.A.R. Hoare, H. Langmaack )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
428
2. VDM '90 : VDM and Z : formal methods in software development : third international symposium of VDM Europe, Kiel, FRG, April 17-21, 1990 ; proceedings
Author: VDM '09 )0991: Kiel, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- Congresses
Classification :
QA
76
.
76
.
D47
.
V36
1990
